formal verification
形式的検証
automated theorem proving
model checking
List of model checking tools
Formal equivalence checking
Proof checker
Property Specification Language
Static code analysis
Temporal logic in finite-state verification
Post-silicon validation
Intelligent verification
runtime verification
/suto3/google.iconformal verification
/suto3/Google画像検索.iconformal verification
/suto3/Google定義検索.icon formal verification
/suto3/wikipedia.iconformal verification
/suto3/weblio.icon formal verification
/suto3/kotobank.icon formal verification
/suto3/jisho.icon formal verification